Programming:procedural abstraction